Local CPS conversion in a direct - style compiler ( extended
نویسنده
چکیده
منابع مشابه
Local CPS conversion in a direct-style compiler
Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler. The transformation consists of a combination of CPS conversion and light-weight closure conversion, which allows the compiler to merge the environments of nested recursive functions. This merging, in turn, allows the backend to use a single machine-level procedure to i...
متن کاملLocal CPS conversion
Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler. The transformation consists of a combination of CPS conversion and light-weight closure conversion, which allows the compiler to merge the environments of nested recursive functions. This merging, in turn, allows the backend to use a single machine-level procedure to i...
متن کاملOptimizing Nested Loops Using Local CPS Conversion
Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent loops. The transformation selectively applies CPS conversion at non-tail call sites, which allows the compiler to use a single machine procedure and stack frame for both the caller and callee. In this paper, we describe LCPS co...
متن کاملThe CPS/ANF Saga
The CPS transformation dates back to the early 1970’s, where it arose as a technique to represent the control flow of programs in λ-calculus based programming languages as λ-terms in the full (free β) λ-calculus. Toward the end of that decade and afterward, compiler writers found that terms in continuation passing style represented a good intermediate language between their corresponding direct...
متن کاملDenotational Style Correctness of a CPS-Transform Based Compiler
Correctness is a crucial property for compilers; programmersrely on it when writing code. Ideally, correctness should beproved. Work on compiler correctness has focused on directtranslation strategies. However, in practice, the continua-tion passing style (CPS) transform (or a variant) is oftenused in the translation process. Here a simple source lan-guage and its CPS-tr...
متن کامل